\begin{tabbing}
$\vdash$  \=$\forall$$T$:Type, $R$:($T$$\rightarrow$$T$$\rightarrow\mathbb{P}$).\+
\\[0ex]Trans($T$;$x$,$y$.$R$($x$,$y$)) $\Rightarrow$ \{$\forall$$a$, ${\it a'}$, $b$, ${\it b'}$:$T$. $R$($b$,$a$) $\Rightarrow$ $R$(${\it a'}$,${\it b'}$) $\Rightarrow$ $R$($a$,${\it a'}$) $\Rightarrow$ $R$($b$,${\it b'}$)\}
\-
\end{tabbing}